Alternative set theory